$\forall$$i$, $j$:$\mathbb{Z}$. (($i$ =$_{0}$ $j$) $\sim$ ff) $\Rightarrow$ $i$ $\neq$ $j$